1. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)